(0 16 13)(1 17 9)(2 10 4)(3 15 12)(5 14 7)(6 11 8)
ALLOWS (11/8)-SEQUENCE
1: (3 9 12)
(0 16 13)(1 17 9 15 12)(2 10 4)(3)(5 14 7)(6 11 8)
2: (2 10 4)
(0 16 13)(1 17 9 15 12)(2)(3)(4)(5 14 7)(6 11 8)(10)
3: (9 15 17)
(0 16 13)(1 17 12)(2)(3)(4)(5 14 7)(6 11 8)(9)(10)(15)
4: (0 16 13)
(0)(1 17 12)(2)(3)(4)(5 14 7)(6 11 8)(9)(10)(13)(15)(16)